(0 15 12)(1 17 3)(2 7 4)(5 11 6)(8 14 10)(9 20 18)(13 19 16)
ALLOWS (11/8)-SEQUENCE
1: (16 18 19)
(0 15 12)(1 17 3)(2 7 4)(5 11 6)(8 14 10)(9 20 18 13 19)(16)
2: (9 13 19)
(0 15 12)(1 17 3)(2 7 4)(5 11 6)(8 14 10)(9)(13 20 18)(16)(19)
3: (8 14 10)
(0 15 12)(1 17 3)(2 7 4)(5 11 6)(8)(9)(10)(13 20 18)(14)(16)(19)
4: (13 20 18)
(0 15 12)(1 17 3)(2 7 4)(5 11 6)(8)(9)(10)(13)(14)(16)(18)(19)(20)